the history of penal substitution